Fix CPU-migration of VMX domains.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 9 Feb 2006 11:10:28 +0000 (12:10 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Thu, 9 Feb 2006 11:10:28 +0000 (12:10 +0100)
commit447e70804785b5a0c7bf519307f0037604bdc55e
tree467c98916fde09bbae5912c07a88b64d867b53ef
parent35d92ef39d75a001b04406862139c50efcc5e270
Fix CPU-migration of VMX domains.

Signed-off-by: Yunhong Jiang <yunhong.jiang@intel.com>
xen/arch/x86/hvm/vmx/vmcs.c
xen/arch/x86/hvm/vmx/vmx.c
xen/include/asm-x86/hvm/vmx/vmcs.h
xen/include/asm-x86/hvm/vmx/vmx.h